We propose the interpretation of Parmenides’ poem in which “indivisibility” of things is justified. It is shown that there are good reasons for the interpretation of what-is in Parmenides as an internal object of thinking, which is defined only all at once, completely, by all the characteristics that are attributed to that object in subject’s act of thinking. So, we develop J. Barrington’s treatment of what-is in Parmenides. We also show that Parmenides could mean in Doxa that any apprehended objects are different if and only if they can be apprehended separately. We propose a formalization of these Parmenides’ assumptions on objects of thinking. We construct this formalization by the instrumentality of B. Linsky & E. Zalta’s Theory of abst...